First Gödel incompleteness theorem